Namer(n; Id_list)
== {name:int_seg(0; n)Id| 
== {inject(int_seg(0; n); Id; name)  (i:int_seg(0; n). (name(i)  Id_list))}  

latex

---

clarification:

Namer(n; Id_list)
== {name:int_seg(0; n)Id| 
== {inject(int_seg(0; n); Id; name)  (i:int_seg(0; n). (name(i)  Id_list  Id))}  

latex

Definitions	{x:A| B(x)} , x:AB(x), P  Q, inject(A; B; f), x:A. B(x), int_seg(i; j), #$n, A, (x  l), f(a), Id
FDL editor aliases	Namer